Search results for "Deontic logic"
showing 7 items of 7 documents
A Humanoid Social Robot Based Approach for Indoor Environment Quality Monitoring and Well-Being Improvement
2020
The indoor environmental quality (IEQ) monitoring inside buildings where people spend most of their time is essential for ensuring their well-being. Traditional approaches based on Building Automation and Control Systems consider buildings equipped with many different sensors. Unfortunately, the sensors are not always placed for taking the measurements at the right positions. Besides, users could feel a negative perception due to continuous supervision. The present work proposes an approach based on a social humanoid robot that monitors indoor environmental quality. It friendly interacts with occupants providing appropriate suggestions. Particularly, the social robot has been endowed with c…
How to do things with signs. The formulation of directives on signs in public spaces
2021
Abstract This paper analyzes signs and written messages aimed at regulating people's behavior in public spaces. Based on a collection of more than 700 verbal and pictographic signs, the paper focuses on how the formulation of the directives reflect and construct the authors' deontic authority, how they account for the social legitimacy of the directive and how they seek to evoke the addressee's goodwill and cooperativeness. The analysis shows that the author's entitlement to perform the directive may be grounded in references to institutional authority, or that it may be manifested in the linguistic or pictographic expression itself, such as use of imperative mode, exclamation marks, or thr…
Some Remarks on the Concept of Toleration
1997
The paper contains a conceptual analysis of “act of toleration” and the property of “being tolerant”. Being tolerant is understood as a dispositional property of persons manifested in what the author calls the “circumstances of toleration”. The main circumstances distinguished are: a tendency to prohibit a certain behaviour and the competence to determine the deontic status of the behaviour in question. An act of toleration, then, consists in not prohibiting (or cancelling the prohibition of) that behaviour. It is argued that this requires the existence of two different normative systems, the “basic system”, and the “justifying system”. Acts of toleration must be based on reasons coming fro…
Action and Deontology
2015
This chapter is concerned with the deontology of actions. According to the presented approach, actions and not propositions are deontologically loaded. Norms direct actions and define the circumstances in which actions are permitted, prohibited, or mandated. Norms are therefore viewed as deontological rules of conduct. The definitions of permission, prohibition, and obligatoriness of an action are formulated in terms of the relation of transition of an action system. A typology of atomic norms is presented. To each atomic norm a proposition is associated and called the normative proposition corresponding to this norm. A logical system, the basic deontic logic, is defined and an adequate sem…
Extracting Formal Models from Normative Texts
2016
Normative texts are documents based on the deontic notions of obligation, permission, and prohibition. Our goal is model such texts using the C-O Diagram formalism, making them amenable to formal analysis, in particular verifying that a text satisfies properties concerning causality of actions and timing constraints. We present an experimental, semi-automatic aid to bridge the gap between a normative text and its formal representation. Our approach uses dependency trees combined with our own rules and heuristics for extracting the relevant components. The resulting tabular data can then be converted into a C-O Diagram.
Joint planning in conversations with a person with aphasia
2021
Abstract This study explores practices employed by a person with aphasia (PWA) and his wife to organize joint planning sequences and negotiate deontic rights (a participants' entitlement to initiate planning sequences and the entitlement to accept or reject a plan). We analyze two different conversations between a man with aphasia and his wife and their adult daughter. Using Conversation Analysis (CA), we identify practices that further the PWA's participation in the interaction while planning afternoon activities together with his wife. The PWA contributes to the planning talk by initiating and modifying planning sequences. The spouse supports his participation by aligning with his initiat…
Leibniz, Modal Logic and Possible World Semantics: The Apulean Square as a Procrustean Bed for His Modal Metaphysics
2012
Even if Leibniz didn’t have the opportunity to actually conceive an explicit modal logic system, remains the fact that he had worked out a modal metaphysics, of which the inaugural act, in his Elementa juris naturalis (c. 1671) was an obvious reference to the Apulean square of opposition. Later, scholars acknowledged in this passage probably one of the first sketch of deontic logic of norms. His modal metaphysics rather deals with the so-called alethic modalities, sometimes expounded through a language such as R.M. Adams wondered whether Leibniz could be “a sort of grandfather of possible worlds semantics for modal logic”. In the following study, the Apulean square is used as a hermeneutic …